case class Stmt(s: String, b: Boolean)